теория рекурсивности

См. также в других словарях:

• Рекурсивные функции — (от позднелатинского recursio возвращение)         название, закрепившееся за одним из наиболее распространённых вариантов уточнения общего понятия арифметического алгоритма, т.е. такого Алгоритма, допустимые исходные данные которого представляют …   Большая советская энциклопедия

• БАШЛЯР — (Bachelard) Гастон (1884 1962) французский философ, методолог, культуролог, психолог. Основоположник неореализма как направления (подхода) в философии науки. Сам Б. термином ‘неорационализм’ не пользовался, обозначая свою концепцию (в зависимости …   История Философии: Энциклопедия

• БАШЛЯР (BACHELARD) Гастон (1884-1962) — французский философ, методолог, культуролог, психолог. Основоположник неореализма как направления (подхода) в философии науки. Сам Б. термином неорационализм не пользовался, обозначая свою концепцию (в зависимости от аспекта рассмотрения… …   История Философии: Энциклопедия

• ПОРЯДОК СОЦИАЛЬНЫЙ — понятие, выражающее устойчивость и организованность общественной жизни, а также возможность объективирования социального и, следовательно, его концептуализации. П. с. был проблематизирован Гоббсом через вопрос: как возможно общество? Проблема П.… …   Современный философский словарь

• Кибернетика — (от др. греч. κυβερνητική  «искусство управления»[1])  наука об общих закономерностях процессов управления и передачи информации в различных системах, будь то машины, живые организмы или общество. Содержание 1 Обзор …   Википедия

• Кибернетик — Кибернетика (от греч. kybernetike  «искусство управления», от греч. kybernao  «правлю рулём, управляю», от греч. Κυβερνήτης  «кормчий»)  наука об общих закономерностях процессов управления и передачи информации в машинах, живых организмах и… …   Википедия

• Грамматика составляющих — Генеративная лингвистика …   Википедия

• НЕРАЗРЕШИМОСТИ СТЕПЕНЬ — класс эквивалентности , индуцированной отношением тьюринговой сводимости на подмножествах натурального ряда ( , если ). Иначе говоря, два множества принадлежат одной Н. с, если для каждого из них существует эффективная разрешающая процедура при… …   Математическая энциклопедия

• ОПРЕДЕЛИМОСТЬ —         одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… …   Философская энциклопедия

• РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… …   Философская энциклопедия

• Словообразование — Словообразование  1) образование слов, называемых производными и сложными, обычно на базе однокорневых слов по существующим в языке образцам и моделям с помощью аффиксации (см. Аффикс), словосложения, конверсии и других формальных средств.… …   Лингвистический энциклопедический словарь